Feeds to Scour
SubscribedAll
Scoured 9573 posts in 1.00 s
Shell Command Language
pubs.opengroup.orgยท7h
๐Ÿ“Shell Parsing
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.toยท1dยท
Discuss: DEV
โœ…Format Verification
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.ioยท1d
๐Ÿ”ฌLean
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.orgยท12hยท
Discuss: Hacker News
๐Ÿ“บVT100
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
Discuss: r/programming
โฌ†๏ธLambda Lifting
Preview
Report Post
Stop repeating yourself: learning Bash functions keeps your code DRY
howtogeek.comยท2d
๐ŸšBash FP
Preview
Report Post
Vibe Coding vs. Vibe Engineering
loufranco.comยท1d
๐Ÿ“Code Metrics
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.comยท1d
๐Ÿ’งLiquid Types
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.comยท12hยท
Discuss: Hacker News
๐Ÿ‘‘RISC-V Privilege
Preview
Report Post
Going back to go forwards and instruction design<!-- -->
lukes-blog.vercel.appยท3hยท
Discuss: Hacker News
๐ŸŽฎSwitch Archaeology
Preview
Report Post
Horton persistence progress
terracrypt.netยท14h
๐Ÿฆ€Rust Macros
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท10hยท
Discuss: DEV
๐Ÿ”Capability Systems
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.comยท8hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Preview
Report Post
Cheney on the M.T.A.
plover.comยท2d
โฌ†๏ธLambda Lifting
Preview
Report Post
Fuzzing.in
fuzzing.inยท3h
๐Ÿ›Fuzzing
Preview
Report Post
Raising the Shields โ€“ 12 Years Later โ€“ Part 3 โ€“ Maintenance
blog.wirelessmoves.comยท1d
๐Ÿ”ŒInterface Evolution
Preview
Report Post
Introduction
learnix-os.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Embedded Rust
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Preview
Report Post
5 Key Trends Shaping Agentic Development in 2026
thenewstack.ioยท11h
๐Ÿ”ŒInterface Evolution
Preview
Report Post